perm filename BUG2[AM,DBL] blob
sn#158881 filedate 1975-05-16 generic text, type T, neo UTF8
LAPFLG
T
←CHANGE-B(SET-STRUCTURE EXS)
(EXS (CLASS & & & &))
tty:
*DELETE
*OK
SET-STRUCTURE,EXS
EXS
←CHANGE-B(STRUCTURE-EXS)
EXS
(EXS (CLASS))
tty:
*DELETE
*OK
STRUCTURE-EXS,EXS
EXS
←(TIME (START))
ENTERING MAIN LOOP NOW.
VERBOSITY LEVEL (0-10) ....
0
ππ Running at 6765 Load av. = 4.80, Used 0:00:50.2 in 0:28:22
πππ Running at 3653 Load av. = 8.98, Used 0:00:50.4 in 0:29:29
π Running ↑C
@LAV
7.81 5.90 4.81
@LAV
6.51 5.75 4.79
@LAV
4.99 5.46 4.72
@CON
*** SATISFIES ISNT IN YET: (CLASS), C-DEFNS
*** SATISFIES ISNT IN YET: (CLASS), C-INTUS
*** SATISFIES ISNT IN YET: (CLASS (CLASS)), C-DEFNS
*** SATISFIES ISNT IN YET: (CLASS (CLASS)), C-INTUS
*** SATISFIES ISNT IN YET: (CLASS AVRA DOUG), C-DEFNS
*** SATISFIES ISNT IN YET: (CLASS AVRA DOUG), C-INTUS
*** SATISFIES ISNT IN YET: (CLASS R2--7 R2--6 R2--5 R2--4 R2--3 R2--2 R2--1 R2
**-0 R2-1 R2-2 R2-3 R2-4 R3--7 R3--6
R3--5 R3--4 R3--3 R3--2 R3--1 R3-0 R3-1 R3-2 R3-3 R3-4 R4--7 R4--6 R4--5 R4--4
**R4--3 R4--2 R4--1 R4-0 R4-1 R4-2 R4-3
R4-4 R5--7 R5--6 R5--5 R5--4 R5--3 R5--2 R5--1 R5-0 R5-1 R5-2 R5-3 R5-4 R6--7 R
**6--6 R6--5 R6--4 R6--3 R6--2 R6--1
R6-0 R6-1 R6-2 R6-3 R6-4 R7--7 R7--6 R7--5 R7--4 R7--3 R7--2 R7--1 R7-0 R7-1 R7
**-2 R7-3 R7-4), C-DEFNS
*** SATISFIES ISNT IN YET: (CLASS R2--7 R2--6 R2--5 R2--4 R2--3 R2--2 R2--1 R2
**-0 R2-1 R2-2 R2-3 R2-4 R3--7 R3--6
R3--5 R3--4 R3--3 R3--2 R3--1 R3-0 R3-1 R3-2 R3-3 R3-4 R4--7 R4--6 R4--5 R4--4
**R4--3 R4--2 R4--1 R4-0 R4-1 R4-2 R4-3
R4-4 R5--7 R5--6 R5--5 R5--4 R5--3 R5--2 R5--1 R5-0 R5-1 R5-2 R5-3 R5-4 R6--7 R
**6--6 R6--5 R6--4 R6--3 R6--2 R6--1
R6-0 R6-1 R6-2 R6-3 R6-4 R7--7 R7--6 R7--5 R7--4 R7--3 R7--2 R7--1 R7-0 R7-1 R7
**-2 R7-3 R7-4), C-INTUS
***WARNING: CS ACT,B,P AREN'T MEANINGFUL (YET): C-RESTRUC, SET-STRUCTURE, EXS
(CLASS (CLASS) (CLASS (CLASS)) (CLASS AVRA DOUG) (CLASS R2--7 R2--6 R2--5 R2--4
** R2--3 R2--2 R2--1 R2-0 R2-1 R2-2 R2-3
R2-4 R3--7 R3--6 R3--5 R3--4 R3--3 R3--2 R3--1 R3-0 R3-1 R3-2 R3-3 R3-4 R4--7 R
**4--6 R4--5 R4--4 R4--3 R4--2 R4--1
R4-0 R4-1 R4-2 R4-3 R4-4 R5--7 R5--6 R5--5 R5--4 R5--3 R5--2 R5--1 R5-0 R5-1 R5
**-2 R5-3 R5-4 R6--7 R6--6 R6--5 R6--4
R6--3 R6--2 R6--1 R6-0 R6-1 R6-2 R6-3 R6-4 R7--7 R7--6 R7--5 R7--4 R7--3 R7--2
**R7--1 R7-0 R7-1 R7-2 R7-3 R7-4))
***WARNING: CS ACT,B,P AREN'T MEANINGFUL (YET): AND, ANYB-EXS, C-SUGGESTS
***** AM FATAL COLLAPSE ***** DO-THRESH IS IDENTICALLY ZERO
(HELP broken)
:RETFROM(START)
3702 conses
12.833 seconds
NIL
←
CANDS
((0 FILLIN (STRUCTURE-EXS EXS)) (0 FILLIN (STRUCTURE EXS)) (0 FILLIN (STRUCTURE
**-EXS EXS)) (0 FILLIN (SOME-MEMBER EXS))
(0 FILLIN (STRUCTURE EXS)) (0 FILLIN (ANYB EXS)) (0 FILLIN (STRUCTURE-EXS EXS))
** (0 FILLIN (SET-INSERT EXS)) (0 FILLIN
(SOME-MEMBER EXS)) (0 FILLIN (SET-DELETE EXS)) (0 FILLIN (STRUCTURE EXS)) (0 FI
**LLIN (ANYB-ANYP EXS)) (0 FILLIN (ANYB
EXS)) (0 FILLIN (RELATION EXS)) (0 FILLIN (STRUCTURE-EXS EXS)) (0 FILLIN (OPERA
**TION EXS)) (0 FILLIN (SET-INSERT EXS))
(0 FILLIN (ACTIVE EXS)) (0 FILLIN (SOME-MEMBER EXS)) (0 FILLIN (ANYB-EXS EXS))
**(0 FILLIN (SET-DELETE EXS)) (0 FILLIN
(NON-MEMBER EXS)) (0 FILLIN (STRUCTURE-EXS EXS)) (0 FILLIN (INSERTION EXS)) (0
**FILLIN (ANYB-ANYP EXS)) (0 FILLIN (
CONVERT EXS)) (0 FILLIN (ANYB EXS)) (0 FILLIN (DELETION EXS)) (0 FILLIN (RELATI
**ON EXS)) (0 FILLIN (STRUCTURE-EXS EXS))
(0 FILLIN (OPERATION EXS)) (0 FILLIN (SET-INSERT EXS)) (0 FILLIN (ACTIVE EXS))
**(0 FILLIN (SET-DELETE EXS)) (0 FILLIN
(ANYB-EXS EXS)) (0 FILLIN (ANYB-ANYP EXS)) (0 FILLIN (NON-MEMBER EXS)) (0 FILLI
**N (RELATION EXS)) (0 FILLIN (INSERTION
EXS)) (0 FILLIN (OPERATION EXS)) (0 FILLIN (CONVERT EXS)) (0 FILLIN (ACTIVE EXS
**)) (0 FILLIN (DELETION EXS)) (0 FILLIN
(ANYB-EXS EXS)) (0 FILLIN (NON-MEMBER EXS)) (0 FILLIN (INSERTION EXS)) (0 FILLI
**N (CONVERT EXS)) (0 FILLIN (DELETION
EXS)))
←(SETQ C1 (SOME CANDS 'PRUNABLE]
NIL
←
EDITF(PRUNABLE)
edit
*P
(LAMBDA (C) (IGREATERP INTHRESH &))
*3 P
(IGREATERP INTHRESH (CAR C))
*(1 ILESSP)
*MBD NOT
P
(NOT (ILESSP INTHRESH &))
*OK
PRUNABLE
←CDR(PRUNABLE)
(CODE #413755)
←
(SETQ LAPFLG NIL)
(LAPFLG reset)
NIL
←
(COMPILE1 'PRUNABLE (GETD 'PRUNABLE]
(PRUNABLE compiling)
(PRUNABLE (C) NIL)
PRUNABLE
←
CDR(PRUNABLE)
(CODE #413755)
←
(AND (PUT 'PRUNABLE 'EXPR (GETD 'PRUNABLE) (PUTD 'PRUNABLE
(GETP 'PRUNALBE]
edit
*P
(AND (PUT & & & &))
*RI 2 4
*P
(AND (PUT & & &) (PUTD & &))
*-1 P
(PUTD (QUOTE PRUNABLE) (GETP &))
*(3 (GETP 'PRUNABLE 'CODE]
*OK
#413755
←(SOME CANDS 'PRUNABLE)
NIL
←
CANDS
((0 FILLIN (STRUCTURE-EXS EXS)) (0 FILLIN (STRUCTURE EXS)) (0 FILLIN (STRUCTURE
**-EXS EXS)) (0 FILLIN (SOME-MEMBER EXS))
(0 FILLIN (STRUCTURE EXS)) (0 FILLIN (ANYB EXS)) (0 FILLIN (STRUCTURE-EXS EXS))
** (0 FILLIN (SET-INSERT EXS)) (0 FILLIN
(SOME-MEMBER EXS)) (0 FILLIN (SET-DELETE EXS)) (0 FILLIN (STRUCTURE EXS)) (0 FI
**LLIN (ANYB-ANYP EXS)) (0 FILLIN (ANYB
EXS)) (0 FILLIN (π.RELATION --)) --)
←
INTHRESH
0
←EDITF(PRUNABLE)
prop
edit
ππ Running at 14517 Load av. = 3.57, U*sed 0:01:08.9 in 0:43:37
PP
[LAMBDA (C)
(NOT (ILESSP INTHRESH (CAR C]
*STOP
←REDO
prop
edit
*OK
not changed, so not unsaved
PRUNABLE
←REDO
prop
edit
*(1 LAMBDA)
*OK
unsaved
PRUNABLE
←??
77. REDO
←EDITF(PRUNABLE)
PRUNABLE
76. REDO
←EDITF(PRUNABLE)
PRUNABLE
75. ←EDITF(PRUNABLE)
π
74. ←INTHRESH
0
73. ←CANDS
((0 FILLIN (STRUCTURE-EXS EXS)) (0 FILLIN (STRUCTURE EXS)) (0 FILLIN (STRU
**CTURE-EXS EXS)) (0 FILLIN (SOME-MEMBER
EXS)) (0 FILLIN (STRUCTURE EXS)) (0 FILLIN (ANYB EXS)) (0 FILLIN (STRUCTURE-EXS
** EXS)) (0 FILLIN (SET-INSERT EXS))
(0 FILLIN (SOME-MEMBER EXS)) (0 FILLIN (SET-DELETE EXS)) (0 FILLIN (STRUCTURE E
**XS)) (0 FILLIN (ANYB-ANYP EXS)) (0
FILLIN (ANYB EXS)) (0 FILLIN (RELATION EXS)) (0 FILLIN (STRUCTURE-EXS EXS)) (0
**FILLIN (OPERATION EXS)) (0 FILLIN (
SET-INSERT EXS)) (0 FILLIN (ACTIVE EXS)) (0 FILLIN (SOME-MEMBER EXS)) (0 FILLIN
** (ANYB-EXS EXS)) (0 FILLIN (SET-DELETE
EXS)) (0 FILLIN (NON-MEMBER EXS)) (0 FILLIN (STRUCTURE-EXS EXS)) (0 FILLIN (INS
**ERTION EXS)) (0 FILLIN (ANYB-ANYP EXS))
(0 FILLIN (CONVERT EXS)) (0 FILLIN (ANYB EXS)) (0 FILLIN (DELETION EXS)) (0 FIL
**LIN (RELATION EXS)) (0 FILLIN (
STRUCTURE-EXS EXS)) (0 FILLIN (OPERATION EXS)) (0 FILLIN (SET-INSERT EXS)) (0 F
**ILLIN (ACTIVE EXS)) (0 FILLIN (SET-DELETE
EXS)) (0 FILLIN (ANYB-EXS EXS)) (0 FILLIN (ANYB-ANYP EXS)) (0 FILLIN (NON-MEMBE
**R EXS)) (0 FILLIN (RELATION EXS)) (0
FILLIN (INSERTION EXS)) (0 FILLIN (OPERATION EXS)) (0 FILLIN (CONVERT EXS)) (0
**FILLIN (ACTIVE EXS)) (0 FILLIN (DELETION
EXS)) (0 FILLIN (ANYB-EXS EXS)) (0 FILLIN (NON-MEMBER EXS)) (0 FILLIN (INSERTIO
**N EXS)) (0 FILLIN (CONVERT EXS)) (0
FILLIN (DELETION EXS)))
72. ←(SOME CANDS (QUOTE PRUNABLE))
NIL
71. π
←(AND (PUT (QUOTE PRUNABLE) (QUOTE EXPR) (GETD (QUOTE PRUNABLE))) (PUTD (QUOTE
** PRUNABLE) (GETP (QUOTE PRUNABLE) (QUOTE
CODE))))
#413755
70.π.
←CDR(PRUNABLE)
(CODE #413755)
69.
←REDO 72
ππ Running at 367512 Load av. = 7.72, Used 0:01:12.8 in 0:46:10
ππ Running at 367512 Load av. = 8.38, Used 0:01:13.0 in 0:46:23
π